Daniele Varacca: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Typed Event Structures and the π-Calculus: Extended Abstract

Daniele Varacca, Nobuko Yoshida

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 363 KB

english, 2006

2

Probabilistic π-Calculus and Event Structures

Daniele Varacca, Nobuko Yoshida

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 426 KB

english, 2007

3

A Petri Net Model of Handshake Protocols

Luca Fossati, Daniele Varacca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 387 KB

english, 2009

4

Probabilistic event structures and domains

Daniele Varacca, Hagen Völzer, Glynn Winskel

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 359 KB

english, 2006

5

Typed event structures and the linear -calculus

Daniele Varacca, Nobuko Yoshida

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

6

Semantic subtyping for the pi-calculus

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

7

Security types for dynamic web data

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović, Daniele Varacca

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

8

Defining Fairness in Reactive and Concurrent Systems

Völzer, Hagen, Varacca, Daniele

Journal:

Journal of the ACM

Year:

2012

Language:

english

File:

PDF, 365 KB

english, 2012

9

Preface

Cattani, Gian Luca, Hildebrandt, Thomas T., Varacca, Daniele

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 678 KB

english, 2014

10

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Continuous Random Variables

Goubault-Larrecq, Jean, Varacca, Daniele

Year:

2011

Language:

english

File:

PDF, 342 KB

english, 2011

11

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Compositional Semantics for the Reversible p-Calculus

Cristescu, Ioana, Krivine, Jean, Varacca, Daniele

Year:

2013

Language:

english

File:

PDF, 298 KB

english, 2013

12

Distributing probability over non-determinism

VARACCA, DANIELE, WINSKEL, GLYNN

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 388 KB

english, 2006

13

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Continuations, Processes, and Sharing

Downen, Paul, Maurer, Luke, Ariola, Zena M., Varacca, Daniele

Year:

2014

Language:

english

File:

PDF, 361 KB

english, 2014

14

Semantic Subtyping for Objects and Classes

Dardha, Ornela, Gorla, Daniele, Varacca, Daniele

Journal:

The Computer Journal

Year:

2016

Language:

english

File:

PDF, 964 KB

english, 2016

15

Extensional Petri net

Dong, Xiaoju, Fu, Yuxi, Varacca, Daniele

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 691 KB

english, 2018